由定理 3.4.3 的推论, 及上述推论 1 即得.